Integrand size = 15, antiderivative size = 126 \[ \int \cot (x) \left (a+b \cot ^4(x)\right )^{3/2} \, dx=\frac {1}{4} \sqrt {b} (3 a+2 b) \text {arctanh}\left (\frac {\sqrt {b} \cot ^2(x)}{\sqrt {a+b \cot ^4(x)}}\right )+\frac {1}{2} (a+b)^{3/2} \text {arctanh}\left (\frac {a-b \cot ^2(x)}{\sqrt {a+b} \sqrt {a+b \cot ^4(x)}}\right )-\frac {1}{4} \left (2 (a+b)-b \cot ^2(x)\right ) \sqrt {a+b \cot ^4(x)}-\frac {1}{6} \left (a+b \cot ^4(x)\right )^{3/2} \]
[Out]
Time = 0.24 (sec) , antiderivative size = 126, normalized size of antiderivative = 1.00, number of steps used = 9, number of rules used = 8, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.533, Rules used = {3751, 1262, 749, 829, 858, 223, 212, 739} \[ \int \cot (x) \left (a+b \cot ^4(x)\right )^{3/2} \, dx=\frac {1}{2} (a+b)^{3/2} \text {arctanh}\left (\frac {a-b \cot ^2(x)}{\sqrt {a+b} \sqrt {a+b \cot ^4(x)}}\right )+\frac {1}{4} \sqrt {b} (3 a+2 b) \text {arctanh}\left (\frac {\sqrt {b} \cot ^2(x)}{\sqrt {a+b \cot ^4(x)}}\right )-\frac {1}{6} \left (a+b \cot ^4(x)\right )^{3/2}-\frac {1}{4} \left (2 (a+b)-b \cot ^2(x)\right ) \sqrt {a+b \cot ^4(x)} \]
[In]
[Out]
Rule 212
Rule 223
Rule 739
Rule 749
Rule 829
Rule 858
Rule 1262
Rule 3751
Rubi steps \begin{align*} \text {integral}& = -\text {Subst}\left (\int \frac {x \left (a+b x^4\right )^{3/2}}{1+x^2} \, dx,x,\cot (x)\right ) \\ & = -\left (\frac {1}{2} \text {Subst}\left (\int \frac {\left (a+b x^2\right )^{3/2}}{1+x} \, dx,x,\cot ^2(x)\right )\right ) \\ & = -\frac {1}{6} \left (a+b \cot ^4(x)\right )^{3/2}-\frac {1}{2} \text {Subst}\left (\int \frac {(a-b x) \sqrt {a+b x^2}}{1+x} \, dx,x,\cot ^2(x)\right ) \\ & = -\frac {1}{4} \left (2 (a+b)-b \cot ^2(x)\right ) \sqrt {a+b \cot ^4(x)}-\frac {1}{6} \left (a+b \cot ^4(x)\right )^{3/2}-\frac {\text {Subst}\left (\int \frac {a b (2 a+b)-b^2 (3 a+2 b) x}{(1+x) \sqrt {a+b x^2}} \, dx,x,\cot ^2(x)\right )}{4 b} \\ & = -\frac {1}{4} \left (2 (a+b)-b \cot ^2(x)\right ) \sqrt {a+b \cot ^4(x)}-\frac {1}{6} \left (a+b \cot ^4(x)\right )^{3/2}-\frac {1}{2} (a+b)^2 \text {Subst}\left (\int \frac {1}{(1+x) \sqrt {a+b x^2}} \, dx,x,\cot ^2(x)\right )+\frac {1}{4} (b (3 a+2 b)) \text {Subst}\left (\int \frac {1}{\sqrt {a+b x^2}} \, dx,x,\cot ^2(x)\right ) \\ & = -\frac {1}{4} \left (2 (a+b)-b \cot ^2(x)\right ) \sqrt {a+b \cot ^4(x)}-\frac {1}{6} \left (a+b \cot ^4(x)\right )^{3/2}+\frac {1}{2} (a+b)^2 \text {Subst}\left (\int \frac {1}{a+b-x^2} \, dx,x,\frac {a-b \cot ^2(x)}{\sqrt {a+b \cot ^4(x)}}\right )+\frac {1}{4} (b (3 a+2 b)) \text {Subst}\left (\int \frac {1}{1-b x^2} \, dx,x,\frac {\cot ^2(x)}{\sqrt {a+b \cot ^4(x)}}\right ) \\ & = \frac {1}{4} \sqrt {b} (3 a+2 b) \text {arctanh}\left (\frac {\sqrt {b} \cot ^2(x)}{\sqrt {a+b \cot ^4(x)}}\right )+\frac {1}{2} (a+b)^{3/2} \text {arctanh}\left (\frac {a-b \cot ^2(x)}{\sqrt {a+b} \sqrt {a+b \cot ^4(x)}}\right )-\frac {1}{4} \left (2 (a+b)-b \cot ^2(x)\right ) \sqrt {a+b \cot ^4(x)}-\frac {1}{6} \left (a+b \cot ^4(x)\right )^{3/2} \\ \end{align*}
Time = 4.81 (sec) , antiderivative size = 167, normalized size of antiderivative = 1.33 \[ \int \cot (x) \left (a+b \cot ^4(x)\right )^{3/2} \, dx=\frac {1}{12} \left (6 \sqrt {b} (a+b) \text {arctanh}\left (\frac {\sqrt {b} \cot ^2(x)}{\sqrt {a+b \cot ^4(x)}}\right )+6 (a+b)^{3/2} \text {arctanh}\left (\frac {a-b \cot ^2(x)}{\sqrt {a+b} \sqrt {a+b \cot ^4(x)}}\right )-\sqrt {a+b \cot ^4(x)} \left (8 a+6 b-3 b \cot ^2(x)+2 b \cot ^4(x)\right )+\frac {3 \sqrt {a} \sqrt {b} \text {arcsinh}\left (\frac {\sqrt {b} \cot ^2(x)}{\sqrt {a}}\right ) \sqrt {a+b \cot ^4(x)}}{\sqrt {1+\frac {b \cot ^4(x)}{a}}}\right ) \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. \(244\) vs. \(2(103)=206\).
Time = 0.07 (sec) , antiderivative size = 245, normalized size of antiderivative = 1.94
method | result | size |
derivativedivides | \(\frac {b^{\frac {3}{2}} \ln \left (\sqrt {b}\, \cot \left (x \right )^{2}+\sqrt {a +b \cot \left (x \right )^{4}}\right )}{2}-\frac {b^{2} \left (\frac {\cot \left (x \right )^{4} \sqrt {a +b \cot \left (x \right )^{4}}}{3 b}-\frac {2 a \sqrt {a +b \cot \left (x \right )^{4}}}{3 b^{2}}\right )}{2}-\frac {b \sqrt {a +b \cot \left (x \right )^{4}}}{2}+\sqrt {b}\, a \ln \left (\sqrt {b}\, \cot \left (x \right )^{2}+\sqrt {a +b \cot \left (x \right )^{4}}\right )+\frac {b^{2} \left (\frac {\cot \left (x \right )^{2} \sqrt {a +b \cot \left (x \right )^{4}}}{2 b}-\frac {a \ln \left (\sqrt {b}\, \cot \left (x \right )^{2}+\sqrt {a +b \cot \left (x \right )^{4}}\right )}{2 b^{\frac {3}{2}}}\right )}{2}-a \sqrt {a +b \cot \left (x \right )^{4}}+\frac {\left (a^{2}+2 a b +b^{2}\right ) \ln \left (\frac {2 a +2 b -2 b \left (\cot \left (x \right )^{2}+1\right )+2 \sqrt {a +b}\, \sqrt {b \left (\cot \left (x \right )^{2}+1\right )^{2}-2 b \left (\cot \left (x \right )^{2}+1\right )+a +b}}{\cot \left (x \right )^{2}+1}\right )}{2 \sqrt {a +b}}\) | \(245\) |
default | \(\frac {b^{\frac {3}{2}} \ln \left (\sqrt {b}\, \cot \left (x \right )^{2}+\sqrt {a +b \cot \left (x \right )^{4}}\right )}{2}-\frac {b^{2} \left (\frac {\cot \left (x \right )^{4} \sqrt {a +b \cot \left (x \right )^{4}}}{3 b}-\frac {2 a \sqrt {a +b \cot \left (x \right )^{4}}}{3 b^{2}}\right )}{2}-\frac {b \sqrt {a +b \cot \left (x \right )^{4}}}{2}+\sqrt {b}\, a \ln \left (\sqrt {b}\, \cot \left (x \right )^{2}+\sqrt {a +b \cot \left (x \right )^{4}}\right )+\frac {b^{2} \left (\frac {\cot \left (x \right )^{2} \sqrt {a +b \cot \left (x \right )^{4}}}{2 b}-\frac {a \ln \left (\sqrt {b}\, \cot \left (x \right )^{2}+\sqrt {a +b \cot \left (x \right )^{4}}\right )}{2 b^{\frac {3}{2}}}\right )}{2}-a \sqrt {a +b \cot \left (x \right )^{4}}+\frac {\left (a^{2}+2 a b +b^{2}\right ) \ln \left (\frac {2 a +2 b -2 b \left (\cot \left (x \right )^{2}+1\right )+2 \sqrt {a +b}\, \sqrt {b \left (\cot \left (x \right )^{2}+1\right )^{2}-2 b \left (\cot \left (x \right )^{2}+1\right )+a +b}}{\cot \left (x \right )^{2}+1}\right )}{2 \sqrt {a +b}}\) | \(245\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 357 vs. \(2 (104) = 208\).
Time = 0.48 (sec) , antiderivative size = 1486, normalized size of antiderivative = 11.79 \[ \int \cot (x) \left (a+b \cot ^4(x)\right )^{3/2} \, dx=\text {Too large to display} \]
[In]
[Out]
\[ \int \cot (x) \left (a+b \cot ^4(x)\right )^{3/2} \, dx=\int \left (a + b \cot ^{4}{\left (x \right )}\right )^{\frac {3}{2}} \cot {\left (x \right )}\, dx \]
[In]
[Out]
\[ \int \cot (x) \left (a+b \cot ^4(x)\right )^{3/2} \, dx=\int { {\left (b \cot \left (x\right )^{4} + a\right )}^{\frac {3}{2}} \cot \left (x\right ) \,d x } \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 445 vs. \(2 (104) = 208\).
Time = 0.54 (sec) , antiderivative size = 445, normalized size of antiderivative = 3.53 \[ \int \cot (x) \left (a+b \cot ^4(x)\right )^{3/2} \, dx=-\frac {{\left (3 \, a b + 2 \, b^{2}\right )} \arctan \left (-\frac {\sqrt {a + b} \sin \left (x\right )^{2} - \sqrt {a \sin \left (x\right )^{4} + b \sin \left (x\right )^{4} - 2 \, b \sin \left (x\right )^{2} + b}}{\sqrt {-b}}\right )}{2 \, \sqrt {-b}} - \frac {{\left (a^{2} + 2 \, a b + b^{2}\right )} \log \left ({\left | -{\left (\sqrt {a + b} \sin \left (x\right )^{2} - \sqrt {a \sin \left (x\right )^{4} + b \sin \left (x\right )^{4} - 2 \, b \sin \left (x\right )^{2} + b}\right )} {\left (a + b\right )} + \sqrt {a + b} b \right |}\right )}{2 \, \sqrt {a + b}} - \frac {3 \, {\left (\sqrt {a + b} \sin \left (x\right )^{2} - \sqrt {a \sin \left (x\right )^{4} + b \sin \left (x\right )^{4} - 2 \, b \sin \left (x\right )^{2} + b}\right )}^{5} {\left (5 \, a b + 6 \, b^{2}\right )} + 8 \, {\left (\sqrt {a + b} \sin \left (x\right )^{2} - \sqrt {a \sin \left (x\right )^{4} + b \sin \left (x\right )^{4} - 2 \, b \sin \left (x\right )^{2} + b}\right )}^{3} b^{3} - 12 \, {\left (\sqrt {a + b} \sin \left (x\right )^{2} - \sqrt {a \sin \left (x\right )^{4} + b \sin \left (x\right )^{4} - 2 \, b \sin \left (x\right )^{2} + b}\right )}^{4} {\left (a b + 3 \, b^{2}\right )} \sqrt {a + b} + 12 \, {\left (a b^{2} + b^{3}\right )} {\left (\sqrt {a + b} \sin \left (x\right )^{2} - \sqrt {a \sin \left (x\right )^{4} + b \sin \left (x\right )^{4} - 2 \, b \sin \left (x\right )^{2} + b}\right )}^{2} \sqrt {a + b} + 3 \, {\left (3 \, a b^{3} + 2 \, b^{4}\right )} {\left (\sqrt {a + b} \sin \left (x\right )^{2} - \sqrt {a \sin \left (x\right )^{4} + b \sin \left (x\right )^{4} - 2 \, b \sin \left (x\right )^{2} + b}\right )} - 8 \, {\left (a b^{3} + b^{4}\right )} \sqrt {a + b}}{6 \, {\left ({\left (\sqrt {a + b} \sin \left (x\right )^{2} - \sqrt {a \sin \left (x\right )^{4} + b \sin \left (x\right )^{4} - 2 \, b \sin \left (x\right )^{2} + b}\right )}^{2} - b\right )}^{3}} \]
[In]
[Out]
Timed out. \[ \int \cot (x) \left (a+b \cot ^4(x)\right )^{3/2} \, dx=\int \mathrm {cot}\left (x\right )\,{\left (b\,{\mathrm {cot}\left (x\right )}^4+a\right )}^{3/2} \,d x \]
[In]
[Out]